(VAR X XS)
(STRATEGY CONTEXTSENSITIVE 
  (zeros)
  (cons 1)
  (0)
  (tail 1)
)
(RULES 
zeros -> cons(0,zeros)
tail(cons(X,XS)) -> XS
)